$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. ($e$ $<$loc ${\it e'}$) $\Rightarrow$ [$e$, ${\it e'}$] $=$ ([$e$, pred(${\it e'}$)] @ [${\it e'}$]) $\in$ E List